首页> 外文OA文献 >A New Abstract Logic Programming Language and its Quantifier Elimination Method for Disjunctive Logic Programming

【2h】

A New Abstract Logic Programming Language and its Quantifier Elimination Method for Disjunctive Logic Programming

机译：一种新的抽象逻辑程序设计语言及其析取逻辑规划的量化消除方法

页面导航

著录项
相似文献
相关主题

著录项

作者
I. Stéphan;
展开▼
作者单位

展开▼
年度 1998
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Abductive logic programming and disjunctive logic programming: their relationship and transferability [J] . Sakama C., Inoue K. The Journal of Logic Programming . 2000,第1a3期

机译：归纳逻辑编程和析取逻辑编程：它们的关系和可传递性
2. Disjunctive logic programs with existential quantification in rule heads [J] . JIA-HUAI YOU, HENG ZHANG, YAN ZHANG Theory and Practice of Logic Programming . 2013,第pta4a5期

机译：规则头中具有存在量化的析取逻辑程序
3. Template programs for Disjunctive Logic Programming: An operational semantics [J] . Francesco Calimeri, Giovambattista Ianni AI communications . 2006,第3期

机译：逻辑逻辑编程模板程序：操作语义
4. A new abstract logic programming language and its quantifier elimination method for disjunctive logic programming [C] . I.Stephan International conference on artificial intelligence : Methodology, systems, and applications . 1998

机译：一种新的抽象逻辑编程语言及其拆除逻辑编程的综合消除方法
5. Inference elimination in multi-level databases using disjunctive logic programming [D] . Chandramouli, Ramaswamy 1994

机译：使用析取逻辑编程在多级数据库中进行推理消除
6. A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models [O] . Juliana S Bernardes, Alessandra Carbone, Gerson Zaverucha 2011

机译：结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
7. Manipulating Tree Tuple Languages by Transforming Logic Programs11Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs. [O] . Limet Sébastien, Salzer Gernot 2003

机译：通过转换逻辑程序来操纵树元组语言11扩展摘要；有关证明，请参见http://www.logic.at/css/ftp03.pdf。

A New Abstract Logic Programming Language and its Quantifier Elimination Method for Disjunctive Logic Programming

著录项

相似文献

相关主题

期刊订阅